Bibliographical details

نویسندگان

  • Henry Muccini
  • Alexander Romanovsky
چکیده

Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dangerous gap between the requirement to build dependable (and fault tolerant) systems and the failure to address these issues at any stage preceding the implementation step. Software Architecture has been widely accepted as a way to achieve a better software quality while reducing the time and cost of production. While typical architectural specifications model only the normal behaviour of the system, ignoring the abnormal ones, several approaches have recently been developed which break the wrong pattern. The aim of this paper is to survey the existing approaches to architecting fault tolerant systems, offering its readers a clear picture of the state of the art research in this emerging area. This survey is built on developing a twodimensional classification of the existing solutions: the first dimension is based on the traditional software engineering characteristics while the second one uses fault tolerance-related parameters. The paper analyses the major trends and identifies possible directions for future research. About the authors Dr Henry Muccini is an Assistant Professor with Dipartimento di Informatica, University of L'Aquila, Italy. Henry works on software engineering focusing on architectural languages, architecture-based analysis and architecturing wireless sensor networks. More information about henry can be found here web site is www.henrymuccini.com. Alexander (Sascha) Romanovsky is a Professor in the Centre for Software and Reliability, Newcastle University. His main research interests are system dependability, fault tolerance, software architectures, exception handling, error recovery, system structuring and verification of fault tolerance. He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from St. Petersburg State Technical University. He was with this University from 1984 until 1996, doing research and teaching. In 1991 he worked as a visiting researcher at ABB Ltd Computer Architecture Lab Research Center, Switzerland. In 1993 he was a visiting fellow at Istituto di Elaborazione della Informazione, CNR, Pisa, Italy. In 1993-94 he was a postdoctoral fellow with the Department of Computing Science, the University of Newcastle upon Tyne. In 1992-1998 he was involved in the Predictably Dependable Computing Systems (PDCS) ESPRIT Basic Research Action and the Design for Validation (DeVa) ESPRIT Basic Project. In 1998-2000 he worked on the Diversity in Safety Critical Software (DISCS) EPSRC/UK Project. Prof Romanovsky was a co-author of the Diversity with Off-TheShelf Components (DOTS) EPSRC/UK Project and was involved in this project in 2001-2004. In 2000-2003 he was in the executive board of Dependable Systems of Systems (DSoS) IST Project. He has been the Coordinator of the Rigorous Open Development Environment for Complex Systems (RODIN) IST Project (2004-2007). He is now the Coordinator of the major FP7 DEPLOY Integrated Project (2008-2012) on Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity. Suggested keywords DEPENDABILITY SOFTWARE ARCHIETCTURES FAULT TOLERANCE

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bibliographical Details

I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...

متن کامل

QCD Corrections to Hadronic Z and τ Decays ⋆

We present a brief (mainly bibliographical) report on recently performed calculations of terms of order O(α 4 s n 2 f) and O(α 4 s n 2 f m 2 q) for hadronic Z and τ decay rates. A few details about the analytical evaluation of the masters integrals appearing in the course of calculations are presented.

متن کامل

Computing Science Bibliographical Details a Chemical Process Development Case Study as a Source of Requirements for the Gold Project

This paper outlines a case study of an actual chemical development project run in collaboration with a number of chemical companies. A Virtual Organisation (VO) approach was adopted throughout the project as the necessary skills were not available in either the initiating company or a single contractor. The project has been used in the definition, development and deployment of the GOLD Project ...

متن کامل

RODIN: Intermediate report on methodology

One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the second year of the Rodin project; it also discusses our plans for the final deliverable on methodology. © 2006 University of Newcastle upon Tyne. Printed and published by the University of Newcastle...

متن کامل

Greek Manuscripts at the Wellcome Library in London: A Descriptive Catalogue

This article presents a new, detailed catalogue of the Greek manuscripts at the Wellcome Library in London. It consists of an introduction to the history of the collection and its scholarly importance, followed by separate entries for each manuscript. Each entry identifies the text(s) found in the respective manuscript - including reference to existing printed edition(s) of such texts - and giv...

متن کامل

University of Newcastle upon Tyne Computing Science Failures: Their Definition, Modelling and Analysis Bibliographical Details

This paper introduces the concept of a `structured occurrence net', which as its name indicates is based on that of an `occurrence net', a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007